Working Notes for the 2010 AAAI Workshop on Intelligent Security (SecArt)
نویسندگان
چکیده
In this paper, we describe a toolset for managing the configuration and management of large-scale networks. In particular, we focus on managing limited processing and communication resources for coordinated network cyber-defense applications. Our implementation encompasses the complete cycle, from initial network modeling and extraction of the relevant constraints, through translation into a formal constraint model, and finally the application of a Linear Programming solver to determine feasibility. This system has been demonstrated on realistic cyber-defense network models provided by domain experts, as well as on automatically-generated models, used to explore the scaling behavior of the system.
منابع مشابه
Enabling Intelligence through Middleware: Report of the AAAI 2010 Workshop
ty of life. For example, baby boomers are aging. Home-based robots that assist with housekeeping tasks enable more of the population to remain in their homes while reducing health-care costs. Using robots to survey, surveil, and secure regions of interest requires intelligent algorithms that can act and react autonomously in dynamic regions. Unfortunately this vision is quite distant from the c...
متن کاملAppears in the Working Notes of the AAAI/ICML Workshop on Learning for Text Categorization, July 1998.
متن کامل
Intelligent Adaptive Agents: A Highlight of the Field and the AAAI-96 Workshop
The Workshop on Intelligent Adaptive Agents, part of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), presented state-of-the-art approaches, ideas, and methodologies for research and development of intelligent adaptive agents. The workshop consisted of two invited talks, presented by Brian Gaines and Barbara Hayes-Roth; four discussion sessions, organized and chaired by ...
متن کاملVerification and validation of intelligent systems: Five years of aaai workshops
One of the longest sequences of ongoing workshops at the AAAI (American Association for Artificial Intelligence) meeting has been the “Workshop on Verification, Validation and Testing of Intelligent Systems” (“V&V workshop” or “workshop”). These workshops have been actively attended by a V&V researchers, tool developers, and practitioners. They have played an important role in facilitating comm...
متن کامل